Narrowing of algebraic value sets